package javapop.framework;

public interface ParseInput {
	public int getPos();
	public int getCharPos();
	public int getLinePos();
	public Character next();
	public Character prev();
	public void move(int pos);
	public boolean isEOF();
	public boolean consume(String str);
	public boolean consumeChar(Character ch);
	public Character fetch();
	public String show(int before, int after);
	public String show(int before, int after, int max);
	public void skipSpacesStart();
	public void skipSpacesEnd();
	public ParsePosition getParsePosition();
	public String thisLine();
	public String extract(int startPos, int endPos);
}
